计算机如果要实现自动推理，最可行的方法就是采用反向、演绎的方法A 错 B 对答案对